how to use dirac notation